Specification Modules for Methodical System Development
نویسندگان
چکیده
We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system specification in an underlying conceptual model a specification can be interpreted as one single well-formed information complex avoiding inconsistencies as found in document oriented approaches. Besides a more intuitive development and treatment of specifications, an immediate benefit of a design process based on a conceptual model is the possibility to define specification modules that can be used as building blocks to assemble complex specifications.
منابع مشابه
Use Case Oriented Development of Security-Critical Systems
Since the connection of computers over the Internet and the expansion of distributed systems, they are confronted with more and more attacks. To counteract this circumstance, we have to consider security requirements from the beginning of the system development. In early phases of system development, it is common to use a twopart process for the elaboration of the application core and the funct...
متن کاملAdvanced Dynamic Simulation of Membrane Desalination Modules Accounting for Organic Fouling
A reliable dynamic simulator (based on a sound process model) is highly desirable for optimizing the performance of individual membrane modules and of entire desalination plants. This paper reports on progress toward development of a comprehensive model of the complicated physical-chemical processes occurring in spiral wound membrane (SWM) modules, that accounts for the...
متن کاملFormalizing Chisel Specifications
Graphical description techniques are especially useful in the early development phases like requirements engineering. There, often a trail-and-error approach is applied to develop a first system specification. However, even there a precise meaning of those description techniques is necessary, especially in trial-anderror phases based on a service-oriented description of the requirements to chec...
متن کاملSoftware Engineering Implications for Formal Refinement
Formal methods are widely proposed as an important part of the software design process, but the design of large systems imposes software engineering constraints on the refinement of these specifications into coded modules. The need to separate the role of system building from the refinement of particular components means that relationships between specification units during the refinement proce...
متن کاملA Model-Based Approach for Automotive Software Development
Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain specific issues such as management of signals, the integration of isolated logical functions or the deployment of functions to distributed networks of ECUs. A fundamental prerequisite of such approaches is the existence of a...
متن کامل